home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / ast_comp / concurre.tar / concurrency / monoidal.tex / node3_mn.html < prev    next >
Text File  |  1993-07-05  |  879b  |  21 lines
  1.  
  2. <H1><A ID="SECTION00030000000000000000">
  3. S<SMALL>TABLE </SMALL>E<SMALL>VENT </SMALL>S<SMALL>TRUCTURES</SMALL></A>
  4. </H1>
  5.  
  6. <P>
  7. If  we  were   only  concerned with   a  domain   theoretic  model for
  8. intuitionistic linear logic,    there would   be    less interest   in
  9. developing a parallel  framework of stable  event structures.  This is
  10. because    dI-domains  and stable  event    structures  are equivalent
  11. categories.  As  indicated in  the  introduction,  however, one of the
  12. purposes of the  paper is  to  open a way  to  relate models of linear
  13. logic to  those of concurrency.   Models  for concurrency  are usually
  14. very concrete, such as Petri nets and event structures.
  15. A concrete model for intuitionistic linear logic should make the
  16. connection easier to establish.
  17. This section gives a detailed treatment of a monoidal closed category of
  18. stable event structures.
  19.  
  20. <P>
  21.